Your search returned 5 records. Click on the hyperlinks to view further details of Titles..

 

Magazine Name : Ieee Transactions On Software Engineering

Year : 1994 Volume number : 20 Issue: 11

Automatic Generation Of Path Covers Covers Based On The Control Flow Analysis Of Computer Programs (Article)
Subject: Automated Testing Tool , Branch Testing , Path Cover
Author: Antonia Bertolino      R.M.A. Marretta     
page:      885 - 899
Observer-A Concept For Formal On-Line Validation Of Distributed Systems (Article)
Subject: Distributed Systems , Formal Description And Terminology , Testing
Author: Michel Diaz      Guy Juanole      Jean-Pierre Courtiat     
page:      900 - 913
A Decompositional Approach To The Design Of Parallel Programs (Article)
Subject: Parallel Programming , Specification
Author: Ying Liu      Ambuj K. Singh      Rajive L. Bagrodia     
page:      914 - 932
Odechart A Specification Language For Real-Time Systems (Article)
Subject: Real-Time Systems , Specification , Rapid Prototyping System
Author: F. Jahanian      Aloysius K. Mok     
page:      933 - 947
Precise Documentation Of Well-Structured Programs (Article)
Subject: Precise Centering , Structured Surfaces
Author: David Lorge Parnas      Michal Iglewski     
page:      948 - 976